Перевод: с русского на все языки

со всех языков на русский

исчисление равенства

См. также в других словарях:

  • ИСЧИСЛЕНИЕ — (формальная система) система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы) …   Философская энциклопедия

  • Исчисление понятий —         «ИСЧИСЛЕНИЕ ПОНЯТИЙ» («Запись в понятиях») сочинение немецкого математика и логика Готтлоба Фреге, положившее начало современной форме математической (символической) логики. Полное название этого сочинения включало указание на то, что в… …   Энциклопедия эпистемологии и философии науки

  • Исчисление — У этого термина существуют и другие значения, см. Исчисление (значения) …   Википедия

  • Исчисление конечных разностей — Конечной разностью функции от одной или нескольких переменных называется приращение функции при данных конечных приращениях переменных независимых. Под И. конечных разностей разумеют совокупность правил: 1) для определения изменений, которым… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • Дифференциальное исчисление — Исчисление бесконечно малых, включающее так называемое Д. исчисление, а также ему обратное интегральное, принадлежит к числу наиболее плодотворных открытий человеческого ума и составило эпоху в истории точных наук. Ближайшим поводом к изобретению …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • Логическое исчисление —         Исчисление (формальная система), интерпретируемое в терминах какого либо фрагмента дедуктивной логики (См. Логика). Различные Л. и. служат базой для построения более богатых «нелогических» (например, математических) теорий. Примерами Л. и …   Большая советская энциклопедия

  • Вариационное исчисление — Вариационное исчисление  это раздел функционального анализа, в котором изучаются вариации функционалов. Самая типичная задача вариационного исчисления состоит в том, чтобы найти функцию, на которой заданный функционал достигает… …   Википедия

  • ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — см. Логистика. Философский энциклопедический словарь. 2010. ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ исчисление ( …   Философская энциклопедия

  • ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия

  • Дифференциальное исчисление —         раздел математики, в котором изучаются производные и дифференциалы функций и их применения к исследованию функций. Оформление Д. и. в самостоятельную математическую дисциплину связано с именами И. Ньютона и Г. Лейбница (вторая половина 17 …   Большая советская энциклопедия

  • БЕСКОНЕЧНО МАЛЫХ ИСЧИСЛЕНИЕ — термин, ранее объединявший различные разделы математич. анализа, связанные с понятием бесконечно малой функции. Хотя метод бесконечно малых (в той или иной форме) с успехом применялся учеными Древней Греции и средневековой Европы для решения… …   Математическая энциклопедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»